41. Machine learning in VLSI computer-aided design /
پدیدآورنده : editors, Abrahim (Abe) M. Elfadel, Duane S. Boning and Xin Li.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7874
.
75
42. Materials Growth and Characterization of Thermoelectric and Resistive Switching Devices
پدیدآورنده : Norris, Kate Jeanne
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
43. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
44. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
45. Microprocessor Interface Design :
پدیدآورنده : by J.D. Nicoud.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Engineering.
رده :
TK7888
.
4
B953
1992
46. Microprocessor based systems for the higher technician /
پدیدآورنده : R.E. Vears
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microcomputers.,Microprocessors.,System design-- Data processing.
رده :
QA76
.
9
.
S88
V43
1988eb
47. Neural models and algorithms for digital testing
پدیدآورنده : by Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell
موضوع : Logic circuits - Testing,Automatic checkout equipment,Digital integrated circuits - Testing - Data processing
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Picosecond Electronics and Optoelectronics :
پدیدآورنده : edited by Gerard Albert Mourou, David M. Bloom, Chi-H. Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics.,Engineering.
رده :
TA1673
.
E358
1985
49. Picosecond Electronics and Optoelectronics II
پدیدآورنده : edited by Frederick John Leonberger, Chi H. Lee, Federico Capasso, Hadis Morkoc.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics.,Physics.
50. Programmable logic controllers
پدیدآورنده : W. Bolton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic circuits.,Programmable controllers.,Programmable logic devices.
رده :
TJ223
.
P76
B65
2009
51. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
52. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
53. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: (طهران)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
54. Reference data for engineers :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
رده :
TK6552
.
F4
2002eb
55. Reference data for engineersradio, electronics, computer, and communications. ]CD[
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronics,، Computer engineering,، Telecommunication,، Electronic books
رده :
TK6552
.
F4
2002eb
56. Selected reprints on logic design for testability
پدیدآورنده : Compiled by Constantin C. Timoc
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic circuits - Testing - Addresses, essays, lectures
رده :
TK
7888
.
4
.
S45
1984
57. Spectral interpretation of decision diagrams /
پدیدآورنده : Radomir S. Stanković, Jaakko T. Astola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic design-- Mathematics.,Signal processing-- Mathematics.,Spectrum analysis-- Mathematics.,COMPUTERS-- Logic Design.,Logic design-- Mathematics.,Signal processing-- Mathematics.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7868
.
L6
S73
2003eb
58. Switching and finite automata theory
پدیدآورنده : Zvi Kohavi, Niraj K. Jha.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sequential machine theory.,Switching theory.,Sequential machine theory.,Switching theory.
رده :
QA267
.
5
.
S4
K64
2010
59. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
60. Techniques for Nuclear and Particle Physics Experiments :
پدیدآورنده : by William R. Leo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Physics.
رده :
QC793
.
46
B995
1994
